1. Program logics for certified compilers /
Author: Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
Classification :
QA76
.
76
.
V47
A65
2014
